Burali-Forti's Antinomie (1897, von Cantor 1895 entdeckt) ist eine logische Antinomie. Sie geht davon aus, dass jede wohlgeordnete Menge eine Ordnungszahl hat, nämlich die, zu der man kommt, wenn die Elemente der Menge gezählt werden. In der üblichen Mengenlehre kann man nur beweisen, dass die wohlgeordnete Menge aller Ordnungsza...